The Bernoulli Saga

Final Report: Saga 3 Brief History of the Saga Project

This report documents the latest work in the SAGA (Spray Advisor using Genetic Algorithms) project, the goal of which is to provide an effective means for a computer to recommend an optimal set of parameters for spraying a wooded area with pesticide. Current work is in two directions. One of these is the maintenance of older SAGA programs, some of which were built on now-obsolete platforms. The...

ACTA: The SAGA Continues

ACTA is a comprehensive transaction framework that permits a transaction modeler to specify the e ects of extended transactions on each other and on objects in the database. ACTA allows the speci cation of (1) the interactions between transactions in terms of relationships between signi cant (transaction management) events, such as begin, commit, abort, delegate, split, and join, pertaining to ...

The Latent Heat Saga

A n outstanding scientific and technological achievement of the twentieth century has been the evolution of nuclear energy which forms part of the mix of energy sources on which the continued growth of our civilization depends. In the twenty-first century we may be blessed with the arrival of another source of energy, of similar magnitude, which is more benign than nuclear energy and does not h...

The SAGA Cross : The

The Strategy Logic Saga

In open-system verification, a fundamental area of research is the study of modal logics for strategic reasoning in the setting of multi-agent games [3, 5]. An important contribution in this field has been the development of Alternating-Time Temporal Logic (ATL∗, for short), introduced by Alur, Henzinger, and Kupferman [1]. Formally, it is obtained as a generalization of the logic CTL∗ [4], whe...